Formal modeling and analysis of cognitive agent behavior
نویسندگان
چکیده
منابع مشابه
A Formal Analysis Method for Cognitive Agent Behavior
This paper contributes a formal method to analyze consequences of agent behavior. The method is based on an automated procedure to translate a given external behavioral specification of an agent into an executable specification of internal dynamics. Having an executable internal dynamics specification allows automated analysis of the consequences of the agent's behavior, based on model checking...
متن کاملModeling mobile agent behavior
g e y w o r d s M o b i l e agents, Dwell time, Life span, Report statistics, Behavior. 1. I N T R O D U C T I O N Mobile agents are self-executable programs tha t t ravel a round a network doing work [1]. The ana ly t ica l model ing and solution of models of mobile agent behavior is in its infancy. This paper presents fundamenta l analyt ica l models to i l lus t ra te the rich s t ruc ture o...
متن کاملOn Formal Modeling of Agent Computations
This abstract describes a comparative study of three formal methods for modeling and validating agent computations. The experiment is part of a joint project by researchers in MIT's Theory of Distributed Systems research group and NTT's Cooperative Computing research group. Our goal is to establish a mathematical and linguistic foundation for describing and reasoning about agent-style distribut...
متن کاملFormal Modeling of Robot Behavior with Learning
We present formal specification and verification of a robot moving in a complex network, using temporal sequence learning to avoid obstacles. Our aim is to demonstrate the benefit of using a formal approach to analyze such a system as a complementary approach to simulation. We first describe a classical closed-loop simulation of the system and compare this approach to one in which the system is...
متن کاملlangauge needs analysis of undergraduate business management and economics students
the aim of conducting this study was to investigate the foreign language learning needs of undergraduate economics students and business management students in faculties of social sciences of alzahra and azad naragh university. in the study, which was designed on the basis of a qualitative-quantitative basis using interviews and questionnaires, 146 female undergraduate business management as we...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Processing
سال: 2007
ISSN: 1612-4782,1612-4790
DOI: 10.1007/s10339-007-0191-x